死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能。本文以死刑复核程序的功能定位入手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议。     

基于相关函数的盲信号分离准则

盲信号分离的依据通常是信号的独立性或利用它们的高阶累积量。考虑了双通道的盲分离问题，提出了一种基于相关函数的盲分离准则。证明了在源信号不相关的条件下，可以实现源信号的盲分离。并给出了一种可直接求解二次方程组的盲分离算法。     

用于速度测量的硬件相关仪

相关法测量速度已经发展了多年。由于相关运算计算量很大，软件实现时，对于大速度系统，受运算速度所限，其实时性及精度都不甚理想。为此，本文介绍１种用硬件实现相关运算的方法，并给出硬件相关仪结构及与８０９８单片机的接口框图。     

结构刚度指标统计确定

提供两种方法，确定结构刚度指标。第一种方法是已知刚度变差系数Ｃｆ，确定结构刚度指标。第二种方法是借助卡埃分布表，确定结构刚度指标。这两种方法都能得到满意的结果。文中还列举了许多实例，并指出了需要注意的问题。     

无界域上大规模凹二次规划的一个算法

本文给出了无界域上大规模凹二次规划的一种下逼近算法,并证明了算法的收敛性。     

二维连续型随机变量函数的概率密度

本文利用分布函数与概率密度之间的关系,以曲线积分为工具,导出随机变量Z=g(X,Y)的概率密度的一般公式。然后对概率统计中的一些重要分布给予比较简单的证明。     

采用286微机游戏口控制的肾功能仪

本文介绍了核医学类典型仪器肾功能仪的基本原理，提出了将老肾功能仪改造成智能化肾功能仪的一种方法并实际实现了该方法。通过改进微机游戏口的设计和结合高级语言编程对仪器进行简便改造和控制，给人们提供了微机接口应用的一种较新颖和较简单的方法，为改造老仪器老设备也提供了参考实例。     

电动轮廓仪相位校正滤波的一种新方法

介绍了电动轮廓仪中数字滤波的一种最新方法，其最大特点是：在轮廓信号传输过程中引起相移以及由相移导致的不对称畸变，使得计算被测信号的所有表面粗糙度参数和波度参数为可能；提出了用ＦＦＴ实现数字滤波中的卷积计算，给出了改进的快变计算公式及用汇编语言编程的具体方法。     

Bezier曲线的全正性及其应用

本文首先提出了Bézier曲线的全正性问题,通过揭示Vandermonde矩阵的一个重要性质,证明了系数矩阵的全正性,从而阐明了Bézier曲线的全正性。继而用全正性证明了Bézier曲线的有向角性质与变差减缩性质。最后探讨了Bézier曲面的全正性的概念。     

基于Gumbel Copula函数的多维Logit模型

针对多维Logit模型中的独立同分布(IID, Identically & Independently Distributed)条件假设,提出了一种基于Copula函数的离散选择模型.利用Copula函数获得多元随机变量的联合分布函数以及Gumbel Copula函数的特性,得到了任意2个随机项之差的联合分布,它依然服从Logistic分布,形式上只比现有的分布函数多了一个倍参数.进一步将此结果推广至多维选择问题,得到了无需IID条件下一个方案被选中的概率,从而克服了多维Logit模型的应用障碍.